Higher Computing - PDFSEARCH.IO - Document Search Engine

Higher Computing
Results: 1165

#	Item
261	Blaise W. Liffick, Ph.D. Department of Computer Science Millersville University Millersville, PA3536 Add to Reading List Source URL: cs.millersville.edu Language: English - Date: 2014-09-16 13:28:02 Pennsylvania State System of Higher Education Eastern Pennsylvania Rugby Union Millersville University of Pennsylvania Byte Millersville Computer science Computing Bloomsburg University of Pennsylvania CONFER American Association of State Colleges and Universities Middle States Association of Colleges and Schools Pennsylvania
262	Khim Yong GOH Curriculum Vitae National University of Singapore Department of Information Systems School of Computing Add to Reading List Source URL: www.comp.nus.edu.sg Language: English - Date: 2015-01-28 13:13:18 Tanglin Ambient intelligence NUS School of Computing Academia Higher education Education Association of Commonwealth Universities National University of Singapore Queenstown Singapore
263	Preliminary Thoughts on Ultracomputer Programming Style by J.T. Schwartz Ultracomputer Research Laboratory Courant Institute of Mathematical Sciences 715 Broadway, 10th Floor Add to Reading List Source URL: www.multimedialibrary.com Language: English - Date: 2014-03-05 11:07:09 Bitonic sorter Ken Batcher Computing Boolean algebra Quasigroup Map Software engineering Mathematics Higher-order functions Nonassociative algebra
264	A Lazy List Implementation in Squeak Add to Reading List Source URL: www.vpri.org Language: English - Date: 2015-01-21 19:14:36 Higher-order functions Abstract data types Data types C++ Standard Library Functional languages Map Iterator Set List Software engineering Computing Computer programming
265	Under consideration for publication in J. Functional Programming 1 Boxes Go Bananas: Encoding Higher-Order Abstract Syntax with Parametric Polymorphism∗ Add to Reading List Source URL: www.seas.upenn.edu Language: English - Date: 2014-07-10 05:47:02 Type theory Functional programming Data types Higher-order functions Lambda calculus Higher-order abstract syntax Eval Catamorphism System F Software engineering Computing Declarative programming
266	Lim Yee Fen Nanyang Technological University Professor Lim graduated with degrees in Computer Science and in Law with Honours from the University of Sydney, Australia. She is an Associate Professor at the Division of Bus Add to Reading List Source URL: 2011.rigf.asia Language: English - Date: 2011-12-23 22:25:37 Legal aspects of computing William Gummow Legal education Higher education Cyberspace Law and Policy Centre University of New South Wales UNSW Faculty of Law Law
267	CYBERSPACE LAW & POLICY SERIES Subjects taught at UNSW by Centre Associates have their own web pages, such as: The Centre hosts an annual series of Continuing Legal Add to Reading List Source URL: www.cyberlawcentre.org Language: English - Date: 2010-10-14 04:04:22 UNSW Faculty of Law Legal aspects of computing Arc @ UNSW Limited Privacy Internet privacy Higher education University of New South Wales Cyberspace Law and Policy Centre Ethics
268	CAUSE the association for managing and using information resources in higher education Add to Reading List Source URL: net.educause.edu Language: English - Date: 2003-08-11 13:19:45 Technology Electronics Numbers Cloud computing Virtual help desk Help desk Customer experience management Internet
269	Primitively (Co)recursive Definitions for Isabelle/HOL Lorenz Panny, Jasmin Christian Blanchette, and Dmitriy Traytel Fakultät für Informatik, Technische Universität München, Germany Abstract. Isabelle/HOL has recent Add to Reading List Source URL: www21.in.tum.de Language: English - Date: 2015-03-23 10:07:51 Recursion Computability theory Data types Higher-order functions Theory of computation Fold Recursive data type Primitive recursive function Lambda calculus Software engineering Computing Computer programming
270	J. Functional Programming 9 (4): 355–372, Julyc 1999 Cambridge University Press ! Printed in the United Kingdom Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2010-05-18 03:41:36 Recursion Higher-order functions Functions and mappings Theory of computation Computability theory Fold Map Primitive recursive function Append Computing Software engineering Computer programming

UPDATE